Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
141	Using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Andrew Ireland, Gudmund Grov, Leo Freitas, Andrius Velykis & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Logical syntax Mathematical logic Formal methods Proof theory Rippling Mathematical proof Formal proof IP Theorem Logic Mathematics Automated theorem proving
142	DO ANDROIDS PROVE THEOREMS IN THEIR SLEEP? Michael Harris, version of March 21, 2008, (plus one addition) 1. A mathematical dream narrative …antes imagino que todo es ficción, fábula y mentira, y sueños contados por Add to Reading List Source URL: webusers.imj-prg.fr Language: English - Date: 2009-01-07 04:12:10 Mathematical logic Formal systems Philosophy of mathematics Proof theory Mathematical proof Theorem Formal proof Axiom Automated theorem proving Logic Mathematics Logical syntax
143	The Default OLP Configuration File open-logic-config.sty OpenLogic Project[removed]02780ba Description Add to Reading List Source URL: people.ucalgary.ca Language: English - Date: 2015-03-30 12:13:09 Predicate logic Logical syntax Metalogic Well-formed formula Proposition Function Non-logical symbol Symbol Interpretation Logic Mathematical logic Formal languages
144	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-13 17:37:26 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
145	Productive use of failure in top-down formal methods Alan Bundy, Gudmund Grov, Yuhui Lin Background & motivation Our approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Heuristics Rippling Mathematical proof Theorem Formal methods Formal proof Caller Logic Mathematics Logical syntax
146	ACRS_main-revised-april2014.dvi Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-06-16 09:06:25 Logical consequence Logical syntax Metalogic Ordinal number Limit set Complementation of Büchi automaton Logic Deduction Entailment
147	The AI4FM approach for proof automation within formal methods A Grand Challenge 6 “Dependable Systems Evolution" project Gudmund Grov Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Logical syntax Formal methods Mathematical logic Theoretical computer science Rippling Mathematical proof Theorem Formal proof KeY Logic Mathematics Automated theorem proving
148	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
149	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
150	J-Calc: A typed lambda calculus for Intuitionistic Justification Logic Konstantinos Pouliasis Giuseppe Primiero Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 08:49:03 Logical syntax Propositional calculus Philosophical logic Natural deduction Entailment Interpretation Curry–Howard correspondence Formation rule Witness Logic Proof theory Deduction

UPDATE